From Lossy to Lossless Reasoning
🔨Compilers
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
De Bruijn Numerals
λLambda Encodings
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·18h
💻Programming languages
Flag this post
My first fifteen compilers (2019)
🏗️Compiler Archaeology
Flag this post
Ajla Tutorial
💧Liquid Types
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·3h
⚙️TLA+
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·22h
🔓Decompilation
Flag this post
The Structure of Data
🗂Data structures
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
The Man Who Invented AGI
🏴Scottish Computing
Flag this post
Issue 733
iosdevweekly.com·22h
❄️Nix Flakes
Flag this post
Watch the recordings from my Python + AI series
🎙️Whisper
Flag this post
✅ Day 57 of My Data Analytics Journey!
📊Count-Min Sketch
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
🔧RISC-V Assembler
Flag this post
Reflection for Aggregates (2020)
🔒Type Safety
Flag this post
Loading...Loading more...